Can a Program Reverse-Engineer Itself?
نویسندگان
چکیده
Shape-memory alloys are metal pieces that "remember" their original cold-forged shapes and return to the pre-deformed shape after heating. In this work we construct a software analogous of shape-memory alloys: programs whose code resists obfuscation. We show how to pour arbitrary functions into protective envelops that allow recovering the functions' exact initial code after obfuscation. We explicit the theoretical foundations of our method and provide a concrete implementation in Scheme.
منابع مشابه
A Two - Phase Approach to Reverse EngineeringUsing Formal
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a \legacy" or \geriatric" state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming , have prompted a need to reverse en...
متن کاملFlexible Reverse Engineering of Web Pages with VAQUISTA
VAQUISTA allows developers to reverse engineer a presentation model of a web page according to multiple reverse engineering options. The alternatives offered by these options not only widen the spectrum of possible presentation models but also encourage developers in exploring multiple reverse engineering strategies. The options provide filtering capabilities in a static analysis of HTML code t...
متن کاملRecovering Alternative Presentation Models of a Web Page with VAQUITA
VAQUITA allows developers to reverse engineer a presentation model of a web page according to multiple reverse engineering options. The alternative models offered by these options not only widen the spectrum of possible presentation models but also encourage developers in exploring multiple reverse engineering strategies. The options provide filtering capabilities in a static analysis of HTML c...
متن کاملOverview of Reverse Osmosis for Chemical Engineers Part 1, Fundamentals of Membrane Mass Transfer
Reverse osmosis (RO). has become a standard unit operation in Chemical Engineering. This separation process can be used for a wide variety of applications including: desalination of sea water, treatment of industrial wastes, concentration of food products, and recovery of value materials from solution mixtures. In order to best utilize RO it is necessary to have a fundamental understanding of t...
متن کاملReverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering perspective, we gain the insight that much of this difficulty is caused by design decisions made during system development. Such decisions “hide” the program functionality and performance requirements in the final system ...
متن کامل